T:Type, P, Q:(TProp), R:(TTTProp).
(ternary) R preserves P   (ternary) R preserves Q   (ternary) R preserves P  Q  

latex

Definitions

P  Q, (ternary) R preserves P , P & Q, Prop, x:A. B(x), P  Q, {T}, t  T